Ken McMillan: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Inductive invariant generation via abductive inference

Dillig, Isil, Dillig, Thomas, Li, Boyang, McMillan, Ken

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 508 KB

english, 2013

2

Hair Follicle Stem Cells Provide a Functional Niche for Melanocyte Stem Cells

Shintaro Tanimura, Yuko Tadokoro, Ken Inomata, Nguyen Thanh Binh, Wataru Nishie, Satoshi Yamazaki, Hiromitsu Nakauchi, Yoshio Tanaka, James R. McMillan, Daisuke Sawamura, Kim Yancey, Hiroshi Shimizu,

Journal:

Year:

2011

Language:

english

File:

PDF, 2.23 MB

english, 2011

3

Chemerin Is a Novel Adipokine Associated with Obesity and Metabolic Syndrome

Bozaoglu, Kiymet, Bolton, Kristy, McMillan, Janine, Zimmet, Paul, Jowett, Jeremy, Collier, Greg, Walder, Ken, Segal, David

Journal:

Year:

2007

Language:

english

File:

PDF, 173 KB

english, 2007

4

[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 8312 || PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification

McMillan, Ken, Middeldorp, Aart, Voronkov, Andrei

Year:

2013

Language:

english

File:

PDF, 224 KB

english, 2013

5

A 9-Î¼m Precision 5-MSa/s Pulsed-Coherent Lidar System With Subsampling Receiver

Chen, Li-Yang, Vinod, Abhinav Kumar, McMillan, James, Wong, Chee Wei, Yang, Chih-Kong Ken

Journal:

IEEE Solid-State Circuits Letters

Year:

2020

File:

PDF, 2.39 MB

2020

6

From Field and Study

Eben McMillan, Gale Monson, Edmund C. Jaeger, Wilson C. Hanna, Eugene E. Cardiff, Clifton M. Greenhalgh, Gordon W. Gullion, Wade Fox and Ken Stott, Jr.

Journal:

Year:

1948

Language:

english

File:

PDF, 208 KB

english, 1948

7

Synthesis of circular compositional program proofs via abduction

Dillig, Isil, Dillig, Thomas, Li, Boyang, McMillan, Ken, Sagiv, Mooly

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2015

Language:

english

File:

PDF, 640 KB

english, 2015

8

CANADA AND QUÉBEC IN A NEW WORLD: THE PQ'S ECONOMIC PROPOSALS

McMillan, Mel, Norrie, Ken

Journal:

Constitutional Forum / Forum constitutionnel

Year:

2011

File:

PDF, 1.34 MB

2011

9

[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 8312 || An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics

McMillan, Ken, Middeldorp, Aart, Voronkov, Andrei

Year:

2013

Language:

english

File:

PDF, 336 KB

english, 2013

10

Src Homology 3-Domain Growth Factor Receptor-Bound 2-Like (Endophilin) Interacting Protein 1, a Novel Neuronal Protein that Regulates Energy Balance

Trevaskis, James, Walder, Ken, Foletta, Victoria, Kerr-Bayles, Lyndal, McMillan, Janine, Cooper, Adrian, Lee, Scott, Bolton, Kristy, Prior, Matthew, Fahey, Richard, Whitecross, Kate, Morton, Gregory J

Journal:

Year:

2005

Language:

english

File:

PDF, 251 KB

english, 2005

11

Composition, diversity and biogeographic affinities of the deep-sea (200-3000 m) fish assemblage in the Great Australian Bight, Australia

Williams, Alan, Althaus, Franziska, Pogonoski, John, Osterhage, Deborah, Gomon, Martin, Graham, Ken, Appleyard, Sharon A., Gledhill, Dan, Bray, Dianne, McMillan, Peter, Green, Mark, Doyle, Stephen, Gr

Journal:

Deep Sea Research Part II: Topical Studies in Oceanography

Year:

2018

Language:

english

File:

PDF, 4.75 MB

english, 2018

12

DNA-based prenatal diagnosis of plectin-deficient epidermolysis bullosa simplex associated with pyloric atresia

Hideki Nakamura, Ken Natsuga, Wataru Nishie, James R. McMillan, Hiroyuki Nakamura, Daisuke Sawamura, Masashi Akiyama, Hiroshi Shimizu

Journal:

International Journal of Dermatology

Year:

2011

Language:

english

File:

PDF, 277 KB

english, 2011

13

Model-Checking of Correctness Conditions for Concurrent Objects

Rajeev Alur, Ken McMillan, Doron Peled

Journal:

Information and Computation

Year:

2000

Language:

english

File:

PDF, 242 KB

english, 2000

14

Role of an Active Site Loop in the Promiscuous Activities of Amycolatopsis sp. T-1-60 NSAR/OSBS

McMillan, Andrew W., Lopez, Mariana S., Zhu, Mingzhao, Morse, Benjamin C., Yeo, In-Cheol, Amos, Jaleesia, Hull, Ken, Romo, Daniel, Glasner, Margaret E.

Journal:

Year:

2014

Language:

english

File:

PDF, 2.76 MB

english, 2014

15

[ACM Press the 31st annual conference - San Diego, California, United States (1994.06.06-1994.06.10)] Proceedings of the 31st annual conference on Design automation conference - DAC '94 - Complex system verification (panel)

Collett, Ron, McMillan, Ken, Sangiovanni-Vincentelli, Alberto, Baynes, Martin, Zafar, Naeem, Sapiro, Steve, Van Ginderdeuren, Johan, Ricca, Stephen

Year:

1994

Language:

english

File:

PDF, 9 KB

english, 1994

16

HER3 Expression Is a Marker of Tumor Progression in Premalignant Lesions of the Gastroesophageal Junction

Ecker, Brett L., Taylor, Laura, Zhang, Paul J., Furth, Emma E., Ginsberg, Gregory G., McMillan, Matthew T., Datta, Jashodeep, Czerniecki, Brian J., Roses, Robert E., Mukaisho, Ken-ichi

Journal:

Year:

2016

Language:

english

File:

PDF, 1.47 MB

english, 2016

17

Identification of hypothalamic genes implicated in the development of obesity in Psammomys obesus using differential display PCR

James Trevaskis, Janine S. McMillan, Kelly Windmill, Ken Walder, Greg R. Collier

Journal:

Comparative Biochemistry and Physiology Part B: Biochemistry and Molecular Biology

Year:

2004

Language:

english

File:

PDF, 403 KB

english, 2004

18

Promiscuity of Exiguobacterium sp. AT1b o-succinylbenzoate synthase illustrates evolutionary transitions in the OSBS family

Brizendine, Ashley M., Odokonyero, Denis, McMillan, Andrew W., Zhu, Mingzhao, Hull, Ken, Romo, Daniel, Glasner, Margaret E.

Journal:

Biochemical and Biophysical Research Communications

Year:

2014

Language:

english

File:

PDF, 1.30 MB

english, 2014

19

[ACM Press the 2013 ACM SIGPLAN international conference - Indianapolis, Indiana, USA (2013.10.29-2013.10.31)] Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications - OOPSLA '13 - Inductive invariant generation via abductive inference

Dillig, Isil, Dillig, Thomas, Li, Boyang, McMillan, Ken

Year:

2013

Language:

english

File:

PDF, 508 KB

english, 2013

20

[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 8312 || Maximal Falsifiability

McMillan, Ken, Middeldorp, Aart, Voronkov, Andrei

Year:

2013

Language:

english

File:

PDF, 406 KB

english, 2013

21

Plectin expression patterns determine two distinct subtypes of epidermolysis bullosa simplex

Ken Natsuga, Wataru Nishie, Masashi Akiyama, Hideki Nakamura, Satoru Shinkuma, James R. McMillan, Akari Nagasaki, Cristina Has, Takeshi Ouchi, Akira Ishiko, Yoshiaki Hirako, Katsushi Owaribe, Daisuke

Journal:

Year:

2010

Language:

english

File:

PDF, 540 KB

english, 2010

22

A TUNNELED PLEURAL CATHETER ACCESS PORT DRAINAGE SYSTEM FOR THE MANAGEMENT OF MALIGNANT EFFUSIONS

Yoneda, Ken Y., Monsky, Wayne, McMillan, John

Journal:

Year:

2007

Language:

english

File:

PDF, 226 KB

english, 2007

23

Comprehensive oral care improves treatment outcomes in male and female patients with high-severity and chronic substance use disorders

Hanson, Glen R., McMillan, Shawn, Mower, Kali, Bruett, Carter T., Duarte, Llely, Koduri, Sri, Pinzon, Lilliam, Warthen, Matt, Smith, Ken, Meeks, Huong, Trump, Bryan

Journal:

Journal of the American Dental Association

Year:

2019

Language:

english

File:

PDF, 543 KB

english, 2019

24

[Society of Exploration Geophysicists SEG Technical Program Expanded Abstracts 2019 - San Antonio, Texas (15 September to 20 September)] SEG Technical Program Expanded Abstracts 2019 - Noise, constraints and 3D inversion: A practical look at high-resolution aquifer mapping using airborne electromagnetics

McMillan, Mike, Haber, Eldad, Lawrie, Ken

File:

PDF, 8.00 MB

25

A Novel GJB2 Mutation p.Asn54His in a Patient with Palmoplantar Keratoderma, Sensorineural Hearing Loss and Knuckle Pads

Akiyama, Masashi, Sakai, Kaori, Arita, Ken, Nomura, Yukiko, Ito, Kei, Kodama, Kazuo, McMillan, James R, Kobayashi, Kinuko, Sawamura, Daisuke, Shimizu, Hiroshi

Journal:

The Journal of Investigative Dermatology

Year:

2007

Language:

english

File:

PDF, 136 KB

english, 2007

26

Intravenous Busufan, Fludarabine and Rabbit ATG Reduced Toxicity Myeloablative Regimen for Children With Non-Malignant Disorders and Chronic Mylogenous Leukemia

Horn, Biljana, Baxter-Lowe, Lee-Ann, McMillan, Alex, Quinn, Marisa, DeSantes, Ken, Cowan, Morton

Journal:

Journal of Pediatric Hematology/Oncology

Year:

2005

Language:

english

File:

PDF, 176 KB

english, 2005

27

Comprehensive oral care improves treatment outcomes in male and female patients with high-severity and chronic substance use disorders

Hanson, Glen R., McMillan, Shawn, Mower, Kali, Bruett, Carter T., Duarte, Llely, Koduri, Sri, Pinzon, Lilliam, Warthen, Matt, Smith, Ken, Meeks, Huong, Trump, Bryan

Journal:

Journal of the American Dental Association

Year:

2019

File:

PDF, 543 KB

2019

28

Deciding Global Partial-Order Properties

Rajeev Alur, Ken McMillan, Doron Peled

Journal:

Formal Methods in System Design

Year:

2005

Language:

english

File:

PDF, 913 KB

english, 2005

29

Beacon administration increases food intake and body weight in Psammomys obesus

Jim Trevaskis, Ken Walder, Kelly Windmill, Janine McMillan, Sharon Jones, Greg Morton, Scott Lee, Guy Augert

Journal:

Regulatory Peptides

Year:

2000

Language:

english

File:

PDF, 112 KB

english, 2000

30

Synthesis and Characterization of 5,10,15,20-Tetra[3-(3-trifluoromethyl)phenoxy] Porphyrin

Tidwell, Cynthia, Bharara, Prakash, Rudeseal, Gretchen, Rudeseal, Tiffany, Rudeseal, Frank, Simmer, Christine, McMillan, Dugald, Lanier, Katherine, Fondren, L, Folmar, LaTasha, Belmore, Ken

Journal:

Year:

2007

Language:

english

File:

PDF, 80 KB

english, 2007

31

Beacon: A novel gene involved in the regulation of energy balance

Janine McMillan, Kelly Windmill, Ken Walder, Jim Trevaskis, Janette Tenne-Brown, Sharon Jones, Andrea de Silva, Guy Augert, Anthony Civitarese, Paul Zimmet, Greg Collier

Journal:

Regulatory Peptides

Year:

2000

Language:

english

File:

PDF, 122 KB

english, 2000

32

Population Issues

Journal:

Year:

2010

File:

PDF, 286 KB

2010

33

Black-capped chickadees categorize songs based on features that vary geographically

Hahn, Allison H., Hoeschele, Marisa, Guillette, Lauren M., Hoang, John, McMillan, Neil, Congdon, Jenna V., Campbell, Kimberley A., Mennill, Daniel J., Otter, Ken A., Grava, Thibault, Ratcliffe, Lauren

Journal:

Animal Behaviour

Year:

2016

Language:

english

File:

PDF, 493 KB

english, 2016

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски